symbolic execution - Alemán Inglés Diccionario